The Exponential Time Hypothesis and the Parameterized Clique Problem

نویسندگان

  • Yijia Chen
  • Kord Eickmeyer
  • Jörg Flum
چکیده

In parameterized complexity there are three natural definitions of fixed-parameter tractability called strongly uniform, weakly uniform and nonuniform fpt. Similarly, there are three notions of subexponential time, yielding three flavours of the exponential time hierarchy (ETH) stating that 3Sat is not solvable in subexponential time. It is known that ETH implies that p-Clique is not fixed-parameter tractable if both are taken to be strongly uniform or both are taken to be uniform, and we extend this to the nonuniform case. We also show that even weakly uniform subexponential time is strictly contained in nonuniform subexponential time. Furthermore, we deduce from nonuniform ETH that no single exponent d allows for arbitrarily good fpt-approximations of clique.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Intersection Non-Emptiness for Tree Shaped Finite Automata

In recent work on the Clique problem by Chen, Huang, Kanj, and Xia (2006) it was shown that if k-Clique is solvable in no(k) time, then the exponential time hypothesis is false. In this work, we focus on a related parameterized problem called intersection non-emptiness. We show that if intersection non-emptiness for two tree shaped DFA’s is solvable in O(n2− ) time, then the strong exponential ...

متن کامل

Lower Bounds Based on the Exponential Time Hypothesis: Edge Clique Cover

In this article we survey algorithmic lower bound results that have been obtained in the field of exact exponential time algorithms and parameterized complexity under certain assumptions on the running time of algorithms solving CNF-Sat, namely Exponential time hypothesis (ETH) and Strong Exponential time hypothesis (SETH).

متن کامل

Tight Complexity Bounds for FPT Subgraph Problems Parameterized by Clique-Width

We give tight algorithmic lower and upper bounds for some double-parameterized subgraph problems when the clique-width of the input graph is one of the parameters. Let G be an arbitrary input graph on n vertices with clique-width at most w. We prove the following results. – The Dense (Sparse) k-Subgraph problem, which asks whether there exists an induced subgraph of G with k vertices and at lea...

متن کامل

The Parameterized Complexity of k-Biclique

Given a graph G and a parameter k, the k-biclique problem asks whether G contains a complete bipartite subgraph Kk,k. This is the most easily stated problem on graphs whose parameterized complexity is still unknown. We provide an fpt-reduction from k-clique to k-biclique, thus solving this longstanding open problem. Our reduction use a class of bipartite graphs with a threshold property of inde...

متن کامل

Laboratoire d ’ Analyses et Modélisation de Systèmes pour l ’ Aide à la Décision UMR 7243 Juin 2012 Exact and approximation algorithms for DENSEST k - SUBGRAPH

The densest k-subgraph problem is a generalization of the maximum clique problem, in which we are given a graph G and a positive integer k, and we search among the subsets of k vertices of G one inducing a maximum number of edges. In this paper, we present algorithms for finding exact solutions of densest k-subgraph improving the standard exponential time complexity of O * (2 n) and using polyn...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012